Delta Delta Delta

Results: 23884



#Item
1Medicine / Endocrine system / Anatomy / Prostate cancer / Histopathology / RTT / Prostate-specific antigen / Testosterone / Androgen receptor / Prostate / Quantifier

Towards Personalized Cancer Therapy Using Delta-Reachability Analysis∗ Bing Liu Soonho Kong

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
2Computational complexity theory / Theoretical computer science / Mathematical logic / NP-complete problems / Electronic design automation / Formal methods / Logic in computer science / Predicate logic / Boolean satisfiability problem / Quantifier / Limit of a function / Exponential time hypothesis

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
3Computational complexity theory / Theoretical computer science / Mathematical logic / NP-complete problems / Electronic design automation / Formal methods / Logic in computer science / Predicate logic / Boolean satisfiability problem / Quantifier / Limit of a function / Exponential time hypothesis

Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
4

PDF Document

Add to Reading List

Source URL: delta.cs.cinvestav.mx

- Date: 2017-09-10 23:54:21
    5

    PDF Document

    Add to Reading List

    Source URL: www.delta.tu-dortmund.de

    - Date: 2012-03-19 09:30:34
      6

      PDF Document

      Add to Reading List

      Source URL: delta.cs.cinvestav.mx

      - Date: 2005-02-12 19:20:36
        7

        PDF Document

        Add to Reading List

        Source URL: www.delta.tu-dortmund.de

        - Date: 2012-03-19 13:40:10
          8

          PDF Document

          Add to Reading List

          Source URL: www.delta-expert.fr

          - Date: 2017-12-04 16:18:11
            9

            PDF Document

            Add to Reading List

            Source URL: delta.cs.cinvestav.mx

            - Date: 2016-07-04 02:22:04
              10

              PDF Document

              Add to Reading List

              Source URL: delta.cs.cinvestav.mx

              - Date: 2015-12-03 00:57:25
                UPDATE